161. Artificial life and evolutionary computation :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.

رده :
Q325
.
W58
2017

162. At the intersection of language, logic, and information :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Mathematics ; Congresses. ;

163. Automata, logics, and infinite games

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory

رده :
QA
76
.
L28
Vol
.
2500

164. Automata, logics, and infinite games

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;

165. Automata, logics, and infinite games

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory

رده :
QA
76
.
9
.
M35
A85
2002

166. Automated Deduction - A Basis for Applications

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.

167. Automated Deduction -- CADE-12 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

168. Automated deduction in geometr

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books

رده :
QA448
.
D38
,
I58
2011

169. Automated technology for verification and analysis :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
A96

170. Automatic program development :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)

رده :
QA402
.
5
.
A88
2008eb

171. Automation of Reasoning :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.

رده :
QA76
.
9
.
A96
E358
1983

172. BL

پدیدآورنده :

۸ نسخه از این کتاب در ۱ کتابخانه موجود است.

173. BL

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

174. BL,BL

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

175. Bayesian Approach to Global Optimization :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Electronic data processing.,Information theory.

رده :
QA402
.
5
B956
1989

176. Bits and bugs :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Debugging in computer science-- History.,Software failures-- History.,Debugging in computer science.,Software failures.

رده :
QA76
.
76
.
F34
H83
2019

177. Boolean models and methods in mathematics, computer science, and engineering /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra, Boolean,Probabilities

رده :
QA10
.
3
.
B658
2010

178. Bounded Queries in Recursion Theory

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.

179. Boys and girls learn differently! :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Educational change-- United States, Case studies.,Sex differences in education-- United States, Case studies.,Boys Education.,Girls Education.,Barn.,Bildung,Case studies., Educational change.,Case studies., Sex differences (Psychology)-- Education.,Chancengleichheit,Educational change.,Geschlechtsunterschied,Geschlechtsunterschied.,Inlärning.,Junge,Junge.,Könsskillnader.,Lernen.,Lernpsychologie,Lernpsychologie.,Mädchen,Mädchen.,Schüler,Schülerin,Sex differences in education.,United States.,USA., 7, 7

رده :
LC212
.
92
.
G87
2011

180. Breaches of contracts and claims by third parties / Stephen Waddams -- Policy issues in defective property cases / Stephen Todd -- Defective structures and economic loss in the United States : law and policy / David F. Partlett -- Harm screening under negligence law / Israel Gilead -- Acts ,Notre Dame, Ind. :

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)